void task_wrap_start_routine (task_t task,
			      void *(**start_routine) (void *), void **arg);
